Back تصميم بالعقود Arabic Návrh podle kontraktu Czech Kontraktbaseret programmering Danish Design by Contract German Design by contract English Perkontrakta programado Esperanto Diseño por contrato Spanish Programmation par contrat French חוזה (תכנות) HE Szerződésalapú programozás Hungarian
Sopimuspohjainen ohjelmointi on tietokoneohjelmistojen suunnittelutapa. Sen mukaan ohjelmistosuunnittelijoiden tulisi määritellä muodolliset, täsmälliset ja tarkastettavat rajapintamääritykset ohjelmistokomponenteille. Nämä määritykset laajentavat tavallisten abstraktien tietotyyppien määritelmää alkuehdoilla, loppuehdoilla ja invarianteilla. Näitä määrityksiä kutsutaan sopimuksiksi konseptin käyttämän liike-elämän sopimusten ehtojen ja velvollisuuksien metaforan mukaan.